add jing for fedora builds. (#942)
authortsteven4 <13596209+tsteven4@users.noreply.github.com>
Thu, 24 Nov 2022 18:18:55 +0000 (11:18 -0700)
committerGitHub <noreply@github.com>
Thu, 24 Nov 2022 18:18:55 +0000 (11:18 -0700)
commit39e3deebb335cca7c3891eaefa0433714fa34709
tree519016f91823a684234e4fc3f56a808f7b56c3c3
parentc21589e041e89036824bce033cd59fa89a12224d
add jing for fedora builds. (#942)

* add jing for fedora builds.

fedora f35 and on don't have a maintainer and thus the package
isn't available.  kludge in jing on f35.

* improve document validation.

* don't force jeng on f35
tools/Dockerfile_f32
tools/Dockerfile_f35
tools/make_gpsbabel_doc.sh [new file with mode: 0755]
tools/make_gpsbabel_html.sh
tools/make_gpsbabel_org.sh
tools/make_gpsbabel_pdf.sh